Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type the...(展开全部)

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type the...(展开全部)

The writing bears the marks of authority of a mathematician who was actively involved in setting up the subject. Most of the papers referred to are at least twenty years old but this reflects the time when the ideas were established and one imagines that the situation will be different in the second volume. Because of the length, it is unlikely that many people will read this b...(展开全部)

The writing bears the marks of authority of a mathematician who was actively involved in setting up the subject. Most of the papers referred to are at least twenty years old but this reflects the time when the ideas were established and one imagines that the situation will be different in the second volume. Because of the length, it is unlikely that many people will read this b...(展开全部)

Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the formal logic, this volume examines the relationship between computer languages and "plain English" mathematical proofs. The book introduces the reader to discrete mathematics, reasoning...(展开全部)

Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to specialize in logic, as well as for those who are interested in the applications of logic to other areas of mathematics. Used...(展开全部)

PREFACE TO THE FIRST EDITION This book is intended for readers in transition from school mathematics to the fully-fledged type of thinking used by professional mathematicians. It should prove useful to first-year students in universities and colleges, and to advanced students in school contemplating further study in pure mathematics. It should also be of interest to a wider cla...(展开全部)

Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to specialize in logic, as well as for those who are interested in the applications of logic to other areas of mathematics. Used...(展开全部)

PREFACE TO THE FIRST EDITION This book is intended for readers in transition from school mathematics to the fully-fledged type of thinking used by professional mathematicians. It should prove useful to first-year students in universities and colleges, and to advanced students in school contemplating further study in pure mathematics. It should also be of interest to a wider cla...(展开全部)

"There are many textbooks available for a so-called transition course from calculus to abstract mathematics. I have taught this course several times and always find it problematic. The Foundations of Mathematics (Stewart and Tall) is a horse of a different color. The writing is excellent and there is actually some useful mathematics. I definitely like this book."--The Bulletin ...(展开全部)